etc: Don't modify the installation manifest

We're not actually using it as we're not running the installation script, so no
need to modify it.

diff --git a/src/etc/install-deps.py b/src/etc/install-deps.py
index 9bd7a46c921d099d62b39d71ccd8e7f8b668fcf2..45c3ffb5e48465ee20277578287a3c8b9e0d8933 100644 (file)
--- a/src/etc/install-deps.py
+++ b/src/etc/install-deps.py
@@ -49,7 +49,6 @@ def install_via_tarballs():
         extra_fname = 'rustc-nightly-' + extra + '.tar.gz'
         print("adding target libs for " + extra)
         download.get(url + '/' + extra_fname, extra_fname)
-        manifest = open("rustc-install/rustc/manifest.in", "a")
         folder = extra_fname.replace(".tar.gz", "")
         with contextlib.closing(tarfile.open(extra_fname)) as tar:
             for p in tar.getnames():
@@ -62,8 +61,6 @@ def install_via_tarballs():
                 if os.path.isdir(tp) and os.path.exists(dst):
                     continue
                 shutil.move(tp, dst)
-                if not os.path.isdir(dst):
-                    manifest.write(p.replace(folder + "/rustc/", "file:") + "\n")
         shutil.rmtree("rustc-install/" + folder)
         os.remove(extra_fname)